formal description
英 [ˈfɔːml dɪˈskrɪpʃn]
美 [ˈfɔːrml dɪˈskrɪpʃn]
网络 形式描述; 形式化描述
双语例句
- Ultimately, the UML model is converted into an XML schema, which is a very formal description of the XML vocabulary.
最后，UML模型转化成XML模式，这是XML词汇表非常正式的描述。 - A formal description of a system, or a detailed plan of the system at component level to guide its implementation.
系统的正式描述，或用于指导其实现的组件级别的系统详细计划。 - In model-driven approaches, a formal description of the system is taken and logically transformed into a construction of that system ( or part of that system); for example, by generating code or by generating a simulation.
在模型驱动方法中，需要实现对系统的正式描述，并在逻辑上转化为系统结构（或者部分系统的结构）；例如，通过生成代码或生成模拟。 - Alternatively, the model could be processed into a WSDL file& again a formal description of a Web service.
或者模型被处理成WSDL文件，同样是Web服务的正式描述。 - LOTOS is a specification language that aims at describing the dynamic behavior of complex systems ( formal description language).
LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。 - Formal description for architecture model based on feature and category theory
基于特征和范畴理论的体系结构模型形式化描述 - Research of Protocols Formal Description Technology Based on CSP and RSL
基于CSP和RSL的协议形式化描述技术研究 - The Research and Realization of Formal Description and Digital Image Processing Technology Based on the Online Score System
基于网上阅卷系统的形式化描述及数字图像处理技术研究与实现 - Research on Resource Formal Description in Navy Grid Environment
海上信息栅格资源形式化描述的研究 - Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证 - Software transplanting tools: a formal description and case study
软件移植工具：形式描述及实例研究 - Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法 - Automatic back tool turning machine with hydraulic copying A Formal Description of the Simulation Model Based on Pushdown Automator
基于下推自动机的仿真模型形式化描述 - A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc.
计算机语言的形式描述中的语言元素，如在算术表达式中的元变量是常数、变量、运算符等。 - Formal description of an authentication system of user's status
一种用户身份认证系统的形式化描述 - Formal Description and Verification of TCP Protocol Based on Colored Petri Net
基于着色Petri网的TCP协议的形式化描述及验证 - A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法 - Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition
软件体系结构获取过程的形式化描述方法比较 - Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法 - This paper discusses formal description style of communication protocol for computer networks.
研讨计算机网络通信协议的形式描述风格。 - Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.
针对RESTful应用的正式描述语言，虽然有大量的赞成和反对意见，但像WADL这样的描述语言只得到了有限的发展。 - A Formal Description and Security Analysis of a Digital Signature System
对电子签名系统的形式化描述和安全性分析 - This paper focused on the formal description of data warehouse security requirements.
研究了数据仓库安全需求的形式化描述。 - The formal description uses Z and Object-Z notation.
形式化描述采用Z和Object-Z的符号系统。 - A detection-oriented network attack classification approach& ESTQ is introduced and analyzed using formal description technique.
通过对现有入侵检测方法和攻击分类方法的分析和研究，提出了一种面向检测的网络攻击分类方法&ESTQ方法，并对其进行了形式化描述和分析。 - This paper presents a new hybrid model called FCA for communication protocol formal description.
本文提出了适用于通信协议形式描述的一种新的混合模型，文中称之为FCA混合模型。 - First some concepts and a formal description method for the algorithm are described.
先论述了适用于该算法的有关概念及形式描述方法； - The formal description of component semantics is given onthe basis of the ontology model.
在本体模型的基础上给出了构件语义的形式化描述。 - The basic model and formal description are provided.
描述了其基本模型，并给出了形式化描述。 - The formal description on scheduling exception and definition of the scheduling stability are given.
对调度异常进行了形式化描述，定义了调度的平稳性。